Declarative programming - PDFSEARCH.IO - Document Search Engine

Declarative programming
Results: 415

#	Item
91	We Need Real Tools for Generating Type Inferencers William E. Byrd Nada Amin Add to Reading List Source URL: popl-obt-2014.cs.brown.edu Language: English - Date: 2014-01-15 09:36:35 Software engineering Computing Software Functional programming Programming paradigms International Conference on Functional Programming Domain-specific language Compiler Type system Declarative programming Programming language
92	Delegate: Showcase 2/3 years old F# Codebase @ ProsaF#unctional Copenhageners Meetup Group (MF#K) Add to Reading List Source URL: files.meetup.com Language: English - Date: 2016-03-30 01:16:14 Computer programming Software engineering Declarative programming Functional programming Monad F Sharp Function
93	BRICS RS-05-3 Danvy & Goldberg: There and Back Again BRICS Basic Research in Computer Science Add to Reading List Source URL: brics.dk Language: English - Date: 2005-03-21 05:10:41 Software engineering Computer programming Declarative programming Functional programming Functional languages Subroutines Recursion Procedural programming languages Standard ML Tail call ML Monad
94	Declarative foreign function binding through generic programming Jeremy Yallop, David Sheets and Anil Madhavapeddy University of Cambridge Computer Laboratory Abstract. Foreign function interfaces are typically organise Add to Reading List Source URL: anil.recoil.org Language: English - Date: 2015-12-17 06:24:32 Software engineering Computer programming Computing C++ C Data types Object-oriented programming languages Functional languages Typedef OCaml Const Pointer
95	From “Research Topics in Functional Programming” ed. D. Turner, Addison-Wesley, 1990, pp 17–42. Why Functional Programming Matters John Hughes Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2006-05-19 11:07:35 Software engineering Computer programming Declarative programming Functional programming Data types Higher-order functions Programming language comparisons Lisp Fold Cons Append List
96	Forty hours of declarative programming Teaching Prolog at the Junior College Utrecht Jurri¨en Stutterheim Wouter Swierstra Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2016-03-22 06:34:53
97	408 IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. 41, Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2015-04-24 13:47:47 Theoretical computer science Formal methods Type theory Algorithms Programming paradigms Finite-state machine Algorithm Declarative programming HindleyMilner type system RANSAC Monad
98	Code reuse through polymorphic variants∗ Jacques Garrigue November 8, 2000 Abstract Their support for code reuse has made object-oriented languages popular. However, Add to Reading List Source URL: www.math.nagoya-u.ac.jp Language: English - Date: 2005-02-23 20:45:34 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Eval Standard ML Anonymous function HindleyMilner type system OCaml Polymorphism
99	Independent Document Model (IDM) Schema Specification Background: The Independent Document Model (IDM) schema is a platform independent schema used to support extraction of metadata from XML documents. Our extraction a Add to Reading List Source URL: extract.cs.odu.edu Language: English - Date: 2007-06-06 14:18:40 Software engineering Computer programming Declarative programming Functional languages Functional programming Procedural programming languages ML XS Monad Haskell features Standard ML
100	DSL PLATFORMS DSL SUMMER SCHOOL 2015 TIARK ROMPF, PURDUE UNIVERSITY DSL Add to Reading List Source URL: vjovanov.github.io Language: English - Date: 2016-01-20 12:01:38 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Functional languages Programming language implementation Generalized algebraic data type Syntax Domain-specific language Haskell

UPDATE